(r) i 
k < j. E(k) == i k < j. E(k)
clarification:
(r) i k < j. E(k) == r
xmn i k < j. E(k) | 13,42 |
(r) i k < j. E(k) == i k < j. E(k)
(r) i k < j. E(k) == rxmn i k < j. E(k)
| Up | |
| Wellformedness Lemmas | |
| Definitions | lb i < ub. E(i)xmn |